Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
501	Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-05 05:55:21 Primitive types Software engineering Mathematics Numerical analysis Floating point Genetic algorithm Error detection and correction C Affine arithmetic Computer arithmetic Computing Data types
502	James Aspnes April 30th, 2015 Work address James Aspnes Yale University Department of Computer Science Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:02 Theoretical computer science ACM SIGACT Computational learning theory Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Distributed computing Michael J. Fischer Nir Shavit Nancy Lynch Computer science Computing Applied mathematics
503	On the Practical and Security Issues of Batch Content Distribution Via Network Coding Qiming Li Dah-Ming Chiu John C.S. Lui Computer & Information Science Dept Add to Reading List Source URL: www.cs.cuhk.hk Language: English - Date: 2006-08-26 01:38:18 Finite fields Information theory Information Computing Mathematics Network coding Cryptographic hash function Hash function One-way function Hashing Cryptography Coding theory
504	The Lazy Lambda Calculus Samson Abramsky Department of Computing Imperial College of Science and Technology March 6, 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:34 Applied mathematics Lambda calculus Computability theory Combinatory logic Spectral theory of ordinary differential equations Holomorphic functional calculus Mathematics Theoretical computer science Spectral theory
505	Locality and checkability in wait-free computing Pierre Fraigniaud1? , Sergio Rajsbaum2?? , and Corentin Travers3? ? ? 1 CNRS and U. Paris Diderot, France. 2 Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2011-10-30 17:16:04 Simplex Topology Consensus Process Projection Function Mathematics Geometry Polytopes
506	Eigenvalues of tensors and some very basic spectral hypergraph theory Lek-Heng Lim Matrix Computations and Scientific Computing Seminar Add to Reading List Source URL: www.stat.uchicago.edu Language: English - Date: 2010-07-24 09:27:59 Multilinear algebra Tensors Matrix theory Matrices Tensor Homogeneous polynomial Multilinear map Rank Matrix Algebra Linear algebra Mathematics
507	Influence of Embedding Strategies on Security of Steganographic Methods in the JPEG Domain Jan Kodovský, Jessica Fridrich∗ Department of Electrical and Computer Engineering, Binghamton University, State University of Add to Reading List Source URL: www.ws.binghamton.edu Language: English - Date: 2007-12-13 12:09:14 Graphics file formats Topology Computer file formats Data compression Steganography JPEG Steganalysis Compression artifact Embedding Mathematics Computing Audio engineering
508	Image and Vision Computing–991 Contents lists available at ScienceDirect Image and Vision Computing journal homepage: www.elsevier.com/locate/imavis Add to Reading List Source URL: cvgl.stanford.edu Language: English - Date: 2014-04-08 01:52:48 Sparse matrix Matrix Mathematics Artificial intelligence Applied mathematics Numerical linear algebra Sparse approximation Machine learning
509	Cascading Style Sheets Håkon Wium Lie Thesis submitted for the degree of Doctor Philosophiœ Faculty of Mathematics and Natural Sciences University of Oslo Add to Reading List Source URL: people.opera.com Language: English - Date: 2006-08-02 08:25:12 ISO standards Style sheet language Cascading Style Sheets HTML Håkon Wium Lie Standard Generalized Markup Language Document Style Semantics and Specification Language Formatting Output Specification Instance Processing Instruction Computing Markup languages Technical communication
510	JMLR: Workshop and Conference Proceedings 34:109–123, 2014 Proceedings of the 12th ICGI Learning Nondeterministic Mealy Machines Ali Khalili Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Symbol Mealy machine Finite-state machine Regular language Computing Mathematics Finite state transducer Automata theory Models of computation Nondeterministic finite automaton

UPDATE